جمع التبرعات 15 سبتمبر 2024 – 1 أكتوبر 2024 حول جمع التبرعات
1
Introduction to Metamathematics

Introduction to Metamathematics

S.C. Kleene
عام:
1980
اللغة:
english
ملف:
PDF, 61.92 MB
5.0 / 0
english, 1980
3
Collected works. Publications 1938-1974

Collected works. Publications 1938-1974

Kurt Gödel, S. Feferman, John W. Dawson Jr., Stephen C. Kleene, G. Moore, R. Solovay, the late Jean van Heijenoort
عام:
1989
اللغة:
english
ملف:
DJVU, 3.42 MB
0 / 0
english, 1989
5
元数学导论 下册

元数学导论 下册

（美）克林（S.C.Kleene）, 莫绍揆
عام:
1984
اللغة:
chinese
ملف:
PDF, 16.76 MB
0 / 0
chinese, 1984
6
元数学导论 上册

元数学导论 上册

（美）克林（S.C.Kleene）, 莫绍揆
عام:
1984
اللغة:
chinese
ملف:
PDF, 45.12 MB
0 / 0
chinese, 1984
8
The Foundations of Intuitionistic Mathematics: Especially In Relation to Recursive Functions

The Foundations of Intuitionistic Mathematics: Especially In Relation to Recursive Functions

Stephen Cole Kleene, Richard Eugène Vesley
عام:
1965
اللغة:
english
ملف:
PDF, 9.79 MB
0 / 0
english, 1965
9
Mathematical Logic

Mathematical Logic

Kleene, Stephen Cole
اللغة:
english
ملف:
PDF, 20.09 MB
0 / 0
english
10
Electronics of Microwave Tubes

Electronics of Microwave Tubes

W. Kleen (Auth.)
عام:
1958
اللغة:
english
ملف:
PDF, 6.59 MB
0 / 0
english, 1958
11
Математическая логика

Математическая логика

Клини С.К.(Kleene S.C.)
عام:
1973
اللغة:
russian
ملف:
DJVU, 8.94 MB
0 / 0
russian, 1973
12
Gödel Remembered. Gödel Symposium in Salzburg, 10-12 July 1983

Gödel Remembered. Gödel Symposium in Salzburg, 10-12 July 1983

Rudolf Gödel, Olga Taussky-Todd, Stephen C. Kleene, Georg Kreisel (auth.), Paul Weingartner, Leopold Schmmetterer (eds.)
عام:
1987
اللغة:
english
ملف:
PDF, 10.01 MB
0 / 0
english, 1987
14
Введение в метаматематику

Введение в метаматематику

Клини С.К.(Kleene S.C.)
عام:
1957
اللغة:
russian
ملف:
DJVU, 9.88 MB
0 / 0
russian, 1957
15
Turing's Analysis of Computability and Major Applications of it (Oxford

Turing's Analysis of Computability and Major Applications of it (Oxford

Stephen C Kleene
عام:
1998
اللغة:
english
ملف:
PDF, 1.74 MB
0 / 0
english, 1998
16
Formalized Recursive Functionals and Formalized Realizability

Formalized Recursive Functionals and Formalized Realizability

Stephen C. Kleene
عام:
1969
اللغة:
english
ملف:
PDF, 11.80 MB
0 / 0
english, 1969
17
The Foundations of Intuitionistic Mathematics: Especially In Relation to Recursive Functions

The Foundations of Intuitionistic Mathematics: Especially In Relation to Recursive Functions

Stephen Cole Kleene, R.E. Vesley
عام:
1965
اللغة:
english
ملف:
DJVU, 1.59 MB
0 / 0
english, 1965
18
Introducción a la Metamatemática (Colección Estructura y Función N.º 42)

Introducción a la Metamatemática (Colección Estructura y Función N.º 42)

Stephen Cole Kleene
عام:
1974
اللغة:
spanish
ملف:
PDF, 83.95 MB
4.0 / 5.0
spanish, 1974
19
Mathematical Logic

Mathematical Logic

Stephen Cole Kleene
عام:
2002
اللغة:
english
ملف:
DJVU, 3.05 MB
0 / 4.0
english, 2002
21
Mathematical Logic

Mathematical Logic

Stephen Cole Kleene
عام:
1967
اللغة:
english
ملف:
EPUB, 16.61 MB
0 / 0
english, 1967
22
Witchcraft in Illinois: A Cultural History

Witchcraft in Illinois: A Cultural History

Michael Kleen
عام:
2017
اللغة:
english
ملف:
EPUB, 3.96 MB
0 / 5.0
english, 2017
23
数学名著译丛 元数学导论 上

数学名著译丛 元数学导论 上

（美）克林（S.C.Kleene）著, 莫绍揆译
عام:
1984
اللغة:
chinese
ملف:
PDF, 8.72 MB
0 / 0
chinese, 1984
24
Geständnisse einer Teilzeitfeministin

Geständnisse einer Teilzeitfeministin

Heike Kleen
عام:
2021
اللغة:
german
ملف:
EPUB, 2.23 MB
5.0 / 0
german, 2021
25
元数学导论

元数学导论

S.C.Kleene
عام:
2003
اللغة:
chinese
ملف:
PDF, 8.50 MB
0 / 5.0
chinese, 2003
26
Two Papers on the Predicate Calculus

Two Papers on the Predicate Calculus

Stephen C. Kleene
عام:
1997
اللغة:
english
ملف:
PDF, 4.88 MB
0 / 0
english, 1997
27
Two Papers on the Predicate Calculus

Two Papers on the Predicate Calculus

Stephen C. Kleene
عام:
1997
اللغة:
english
ملف:
DJVU, 1.40 MB
0 / 0
english, 1997
28
Gödel Remembered. Gödel Symposium in Salzburg, 10-12 July 1983

Gödel Remembered. Gödel Symposium in Salzburg, 10-12 July 1983

Rudolf Gödel, Olga Taussky-Todd, Stephen C. Kleene, Georg Kreisel (auth.), Paul Weingartner, Leopold Schmmetterer (eds.)
عام:
1987
اللغة:
english
ملف:
DJVU, 8.29 MB
0 / 0
english, 1987
29
Introduction to Metamathematics

Introduction to Metamathematics

S.C. Kleene
عام:
1952
اللغة:
english
ملف:
DJVU, 12.76 MB
0 / 0
english, 1952
30
Formalized Recursive Functionals and Formalized Realizability

Formalized Recursive Functionals and Formalized Realizability

Stephen C. Kleene
عام:
1969
اللغة:
english
ملف:
DJVU, 2.35 MB
0 / 0
english, 1969
31
Classical extensions of intuitionistic mathematics [one chapter from the book only]

Classical extensions of intuitionistic mathematics [one chapter from the book only]

S. C. Kleene
عام:
1965
اللغة:
english
ملف:
PDF, 9.47 MB
0 / 0
english, 1965
32
微波管电子学

微波管电子学

W.J.克莱恩（W.J.Kleen）著；邵燮麟等译
عام:
1962
اللغة:
chinese
ملف:
PDF, 13.03 MB
0 / 0
chinese, 1962
33
Intensivstation

Intensivstation

Martin Kleen
عام:
2020
اللغة:
german
ملف:
EPUB, 941 KB
0 / 0
german, 2020
34
Математическая логика

Математическая логика

Клини С.К. (Kleene S.C.)
عام:
1973
اللغة:
russian
ملف:
DJVU, 8.62 MB
0 / 0
russian, 1973
35
Lucke & Lull : arvet efter en Bonnier

Lucke & Lull : arvet efter en Bonnier

Kleen, Björn af
عام:
2013
اللغة:
swedish
ملف:
EPUB, 657 KB
0 / 5.0
swedish, 2013
36
Drei Tage im Oktober: Mord auf Norderney (German Edition)

Drei Tage im Oktober: Mord auf Norderney (German Edition)

Annette Kleen [Kleen, Annette]
عام:
2019
اللغة:
german
ملف:
EPUB, 336 KB
0 / 0
german, 2019
37
Anaesthesie

Anaesthesie

Kleen Martin
اللغة:
german
ملف:
PDF, 685 KB
0 / 0
german
38
元数学导论 下

元数学导论 下

（美）克林（Kleene，S.C.）著；莫绍揆译
عام:
1984
اللغة:
chinese
ملف:
PDF, 16.61 MB
0 / 0
chinese, 1984
39
Kändiskultur : fåfängans marknad

Kändiskultur : fåfängans marknad

af Kleen, Björn
عام:
2011
اللغة:
swedish
ملف:
EPUB, 257 KB
0 / 5.0
swedish, 2011
40
Epona: Ostfrieslandkrimi Nach Einer Wahren Begebenheit

Epona: Ostfrieslandkrimi Nach Einer Wahren Begebenheit

Annette Kleen
عام:
2020
اللغة:
german
ملف:
EPUB, 285 KB
0 / 0
german, 2020
41
Dezemberbrise: Ostfrieslandkrimi nach einer wahren Begebenheit

Dezemberbrise: Ostfrieslandkrimi nach einer wahren Begebenheit

Annette Kleen
عام:
2023
اللغة:
german
ملف:
EPUB, 573 KB
0 / 0
german, 2023
42
Intensivstation

Intensivstation

Martin Kleen
عام:
2020
اللغة:
german
ملف:
PDF, 1.44 MB
0 / 0
german, 2020
43
Isoldes Söhne

Isoldes Söhne

Kleen, Annette
اللغة:
german
ملف:
EPUB, 232 KB
0 / 5.0
german
44
Homologische Algebra [lectures notes]

Homologische Algebra [lectures notes]

Helmut Zöschinger, V. Kleen
عام:
2014
اللغة:
german
ملف:
PDF, 689 KB
0 / 0
german, 2014
45
Algebraische Gruppen

Algebraische Gruppen

Roland Lötscher, V. Kleen
عام:
2012
اللغة:
german
ملف:
PDF, 504 KB
0 / 0
german, 2012
46
Intensivstation

Intensivstation

Kleen, Martin
اللغة:
german
ملف:
EPUB, 707 KB
0 / 0
german
47
Mathematical logic

Mathematical logic

Stephen Cole Kleene
عام:
2002
اللغة:
english
ملف:
DJVU, 2.92 MB
5.0 / 3.0
english, 2002
48
Mathematical Logic

Mathematical Logic

Stephen Cole Kleene
عام:
2002
اللغة:
english
ملف:
EPUB, 16.61 MB
5.0 / 0
english, 2002
49
Introduction to Metamathematics

Introduction to Metamathematics

Kleene, Stephen Cole
عام:
1971
اللغة:
english
ملف:
DJVU, 4.59 MB
0 / 0
english, 1971
50
Introduction to Metamathematics

Introduction to Metamathematics

Stephen Cole Kleene
عام:
1971
اللغة:
english
ملف:
PDF, 14.50 MB
0 / 5.0
english, 1971